$\forall$$A$:Type, $a$, $b$:$A$, ${\it as}$, ${\it bs}$:$A$ List. ($a$.${\it as}$) $=$ ($b$.${\it bs}$) $\Rightarrow$ ${\it as}$ $=$ ${\it bs}$